An Algebra of Non-safe Petri Boxes
نویسندگان
چکیده
We define an algebraic framework based on non-safe Petri nets, which allows one to express operations such as iteration, parallel composition, and transition synchronisation. This leads to an algebra of process expressions, whose constants and operators directly correspond to those used in Petri nets, and so we are able to associate nets to process expressions compositionally. The semantics of composite nets is then used to guide the definition of a structured operational semantics of process expressions. The main result is that an expression and the corresponding net generate isomorphic transition systems. We finally discuss a partial order semantics of the two algebras developed in this paper.
منابع مشابه
Operational Semantics for PBC with Asynchronous Communication
This paper presents two related algebras which can be used to specify and analyse concurrent systems with synchronous and asynchronous communications. The first algebra is based on a class of P/T-nets, called boxes, and their standard transition firing rule. It is an extension of the Petri Box Calculus (PBC). Essentially, the original model is enriched with the introduction of special ‘buffer’ ...
متن کاملOB(PN)²: An Object Based Petri Net Programming Notation (Extended Abstract)
In this paper we present a translation from the object-based language OB(PN) 2 to a class of high-level Petri nets. The OB(PN) 2 language is an extension of B(PN) 2 as deened by Best and Hopkins, and the semantics is inspired by the B(PN) 2 semantics deened in terms of M-nets. The translation relies on the CCS-like composition operators deened for M-nets. Each program construct is translated to...
متن کاملA mathematical model for hazmat and freight transportation in railway networks
In this paper, we develop a freight transportation model for railway network considering hazmat transportation issue. In the transportation system considered, different customers can request for carrying hazmat and non- hazmat boxes. It is assumed that the sequence of the trains in the network is known. The objective is assigning the non-hazmat boxes and hazmat boxes to wagons of the trains so ...
متن کاملAn Algebra of Timed-Arc Petri Nets
In this paper we present and investigate two algebras, one based on term re-writing and the other on Petri nets, aimed at the specification and analysis of concurrent systems with timing information. The former is based on process expressions (at-expressions) and employs a set of SOS rules providing their operational semantics. The latter is based on a class of Petri nets with time restrictions...
متن کاملPetri Net Based Deadlock Analysis of ProcessAlgebra
Recent research has been conducted on representing Process Algebra programs by safe Petri nets. We suggest that such a representation ooers direct beneets: one can use methods that have been developed in the Petri net theory domain, to reason about Process Algebra programs. We propose for a subset of a speciic Process Algebra (Milner's Calculus of Communicating Systems or CCS), a deadlock detec...
متن کامل